Reproducible execution of POSIX programs with DiOS

Reproducible execution of SR programs

Reproducing the execution of a concurrent program is important in debugging and testing. It requires that, regardless of the actual order in which processes may execute, the reproduced execution is identical, with respect to the order in which certain activities occur, to a previously recorded execution. This paper presents a solution to the reproducibility problem for programs written in the S...

Reproducible Testing of Concurrent and Distributed Programs

One of the biggest problems in regression testing of a concurrent or distributed program is non-deterministic behavior which may produce diierent results from previous test with same test data. To solve this, we propose a set of synchronized-communication primitives and a new replay algorithm which uses these primitives to arrange all the execution sequences of non-deterministic operations. Com...

Testing Distributed Programs with Re-execution

Tuning Fuzzy Logic Programs with Symbolic Execution

Fuzzy logic programming is a growing declarative paradigm aiming to integrate fuzzy logic into logic programming. One of the most difficult tasks when specifying a fuzzy logic program is determining the right weights for each rule, as well as the most appropriate fuzzy connectives and operators. In this paper, we introduce a symbolic extension of fuzzy logic programs in which some of these para...

Accountable Execution of Untrusted Programs

Many networked applications could beneet from executing components of their functionality closer to the data or services with which they interact. By doing this they may be able to circumvent long communication latencies or avoid transferring large quantities of data over congested or expensive network links. However, no public infrastructure currently exists to enable users to do this; they ar...